De Bruijn - PDFSEARCH.IO - Document Search Engine

De Bruijn
Results: 153

#	Item
101	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
102	Ankie Verlaan - Güngör Uslu - Hüseyin Asma - Jacob van der Wel - Jan Anthonie Bruijn - Karin Straus - Kees van Bergen - Maurice Crul - Mirjam Bakker - Piet-Hein van de Ven - Pim Breebaart - Suzan van Dieren - Tamara v Add to Reading List Source URL: cosmicus.nl Language: Dutch - Date: 2013-07-02 03:38:35
103	Mutual trust Carel van Eykelenburg Annemarie Jorritsma Nico Oudhof Marc de Bruijn Caspar Boendermaker Add to Reading List Source URL: www.bngbank.nl Language: English - Date: 2014-10-31 08:18:44 Association of Netherlands Municipalities Bank Financial crisis Economics Netherlands Geography of the Netherlands Pijnacker Nootdorp
104	Evolutionary Construction of de Bruijn Sequences ∗ Meltem S¨ onmez Turan National Institute of Standards and Technology, Computer Security Division Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2011-12-30 14:45:08 De Bruijn sequence Travelling salesman problem Genetic algorithm De Bruijn Mutation Bruijn Koorde Mathematics Combinatorics Graph theory
105	Computing k-th Lyndon Word and Decoding Lexicographically Minimal de Bruijn Sequence Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter University of Warsaw Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2014-06-14 17:58:40 Combinatorics on words Enumerative combinatorics Lyndon word De Bruijn sequence Sequence De Bruijn Combinatorics Mathematics Discrete mathematics
106	From Indexing Data Structures to de Bruijn Graphs Bastien Cazaux, Thierry Lecroq, Eric Rivals LIRMM & IBC, Montpellier - LITIS Rouen June 15, 2014 Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2014-06-18 07:27:24 Suffix tree Generalised suffix tree De Bruijn Tree Graph Bruijn Graph theory Arrays Suffix array
107	Linear Cellular Automata via de Bruijn Diagrams Harold V. McIntosh Departamento de Aplicacion de Microcomputadoras, Instituto de Ciencias, Universidad Autonoma de Puebla, Apartado postal 461, 72000 Puebla, Puebla, Mex Add to Reading List Source URL: delta.cs.cinvestav.mx Language: English - Date: 2005-04-27 20:34:58 Graph operations Matroid theory Graph drawing Signed graph Graph theory Graph Directed graph
108	FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages Final Report∗ Andrew M. Pitts February 2005 Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-02-28 05:08:39 Logic in computer science Models of computation Formal methods Denotational semantics De Bruijn index Higher-order abstract syntax Lambda calculus ECL programming language Actor model Computing Software engineering Theoretical computer science
109	LFMTPNominal Reasoning Techniques in Coq (Extended Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Lambda calculus Theory of computation Computability theory Functions and mappings Logic in computer science Combinatory logic Function Primitive recursive function De Bruijn index Mathematics Theoretical computer science Mathematical logic
110	Adaptive Operating System Design for High Throughput I/O Willem de Bruijn Vrije Universiteit Amsterdam Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2009-11-21 20:46:14 Unix Kernel Throughput File system Cache Server Thread Operating system System software Computer architecture Computing